#!/usr/bin/php
<?php
	chdir(dirname(__FILE__));
	include("../include.php");
	$link=mysql_connect(DATABASE_ADDRESS, DATABASE_USER, DATABASE_PASS);
	mysql_select_db(DATABASE_NAME);
	
	if($argc != 1){
		$i=False;
		foreach($argv as $server){
			if($i){
				Server::refresh_server($server);
				print "Server ".$server." refresh\n";
			}else{
				$i = True;
			}
		}
	}else{
		Server::refresh_server("%");
		print "All server refresh\n";
	}
?>